Programming Computable Functions - PDFSEARCH.IO - Document Search Engine

Programming Computable Functions
Results: 25

#	Item
21	A Brief Scientific Biography of Robin Milner Gordon Plotkin, Colin Stirling & Mads Tofte Robin Milner was born in 1934 to John Theodore Milner and Muriel Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-28 12:43:45 Logic in computer science Functional languages Type theory Formal methods Models of computation Denotational semantics Logic for Computable Functions ML Robin Milner Theoretical computer science Software engineering Programming language theory
22	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-22 04:05:49 Logic in computer science Lambda calculus Models of computation Computability theory Combinatory logic Curry–Howard correspondence Model theory Structure Programming Computable Functions Theoretical computer science Mathematics Mathematical logic
23	The Origins of Structural Operational Semantics Gordon D. Plotkin Laboratory for Foundations of Computer Science, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:07 Logic in computer science Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Semantics of programming languages Lambda calculus Programming Computable Functions Theoretical computer science Computer science Applied mathematics
24	A short introduction to the Lambda Calculus Achim Jung∗ March 18, 2004 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-05-11 14:13:42 Mathematical logic Combinatory logic Fixed-point combinator Simply typed lambda calculus Programming Computable Functions Free variables and bound variables Function Parameter Spectral theory of ordinary differential equations Mathematics Theoretical computer science Lambda calculus
25	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2001-03-30 08:32:21 Calculus Computability theory Real analysis Theory of computation Continuous function Programming Computable Functions Computable function Function Domain theory Mathematical analysis Mathematics Topology